<HTML><HEAD><TITLE>chr_notrace</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(chr)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>chr_notrace</H1>
Deactivates the standard or Opium debugger extension for constraint
handling rules.


<DL>
</DL>
<H2>Description</H2>
   The query chr_trace.  deactivates the standard or opium debugger.  In
   case of the Opium debugger, its window remains until quited.

<P>

<H3>Fail Conditions</H3>
   None.


<H3>Resatisfiable</H3>
   No.
<H2>Examples</H2>
<PRE>   Success:
[eclipse]: chr_notrace.
yes.
Debugger switched off



</PRE>
<H2>See Also</H2>
<A HREF="../../lib/chr/chr_opium-0.html">chr_opium / 0</A>, <A HREF="../../lib/chr/chr_trace-0.html">chr_trace / 0</A>
</BODY></HTML>
